Software Engineering / Electronic Voting / Complex System / System Architecture / Best practice / Unified Modelling Language / Formal Verification / System modeling / Development Strategy / Simulation Model / Counting Process / Unified Modelling Language / Formal Verification / System modeling / Development Strategy / Simulation Model / Counting Process